//dummy interrupt service routine
//just to make linker happy

void
T2_isr (void) __interrupt (5)
{
}
